Many-Modal Standard Modal Logic